Computer-aided programming for multiprocessing systems

As both the number of processors and the complexity of problems to be solved increase, programming multiprocessing systems becomes more difficult and error-prone. This report discusses parallel models of computation and tools for computer-aided programming (CAP). Program development tools are necessary since programmers are not able to develop complex parallel programs efficiently. In particular, a CAP tool, named Hypertool, is described here. It performs scheduling and handles the communication primitive insertion automatically so that many errors are eliminated. It also generates the performance estimates and other program quality measures to help programmers in improving their algorithms and programs. Experiments have shown that up to a 300% performance improvement can be achieved by computer-aided programming

Surface coverage in wireless sensor networks

Abstract—Coverage is a fundamental problem in Wireless Sensor Networks (WSNs). Existing studies on this topic focus on 2D ideal plane coverage and 3D full space coverage. In many real world applications, the 3D surface of a targeted Field of Interest is complex, however, existing studies do not provide promising results. In this paper, we propose a new coverage model called surface coverage. In surface coverage, the targeted Field of Interest is a surface in 3D space and sensors can be deployed only on the surface. We show that existing 2D plane coverage is merely a special case of surface coverage. Simulations point out that existing sensor deployment schemes for a 2D plane cannot be directly applied to surface coverage cases. In this paper, we target two problems assuming surface coverage to be true. One, under stochastic deployment, how many sensors are needed to reach a certain expected coverage ratio? Two, if sensor deployment can be planned, what is the optimal deployment strategy with guaranteed full coverage with the least number of sensors? We show that the latter problem is NP-complete and propose three approximation algorithms. We further prove that these algorithms have a provable approximation ratio. We also conduct comprehensive simulations to evaluate the performance of the proposed algorithms. I

Positive outcome expectancy mediates the relationship between social influence and Internet addiction among senior high-school students

Background and aims Based on the foundations of Bandura’s social cognitive theory and theory of triadic influence (TTI) theoretical framework, this study was designed to examine the mediating role of positive outcome expectancy of Internet use in the relationship between social influence and Internet addiction (IA) in a large representative sample of senior high-school students in Taiwan. Methods Using a cross-sectional design, 1,922 participants were recruited from senior high schools throughout Taiwan using both stratified and cluster sampling, and a comprehensive survey was administered. Results Structural equation modeling and bootstrap analyses results showed that IA severity was significantly and positively predicted by social influence, and fully mediated through positive outcome expectancy of Internet use. Discussion and conclusions The results not only support Bandura’s social cognitive theory and TTI framework, but can also serve as a reference to help educational agencies and mental health organizations design programs and create policies that will help in the prevention of IA among adolescents

THE INFLUENCE OF THE HAMSTRING MYOFASCIAL RELEASE ON GROUND REACTION FORCE DURING GAIT

The purpose of this study was to investigate the influence of the myofascial release on hamstring during gait in order to inform the clinical management of patients with muscular tightness of hamstring. Sixteen adult subjects with the muscle tightness of hamstring participated in this study. The peak of the vertical ground reaction force before treatment (1.114 body weight) in the stance phase is significantly higher than that (1.065 body weight) after treatment (P=0.007). The peak knee extension moment was significantly decreased across the intervention (0.48 vs. 0.33 Nm/kg, P = 0.019). The understanding of the efficacy of myofascial release on hamstring muscles is helpful to inform the clinical management of patients with muscular tightness of hamstring

The universal "heartbeat" oscillations in black hole systems accross the mass-scale

The hyperluminous X-ray source (HLX-1, the peak X-ray luminosity $\sim 10^{42}\rm erg\ s^{-1}$) near the spiral galaxy ESO 243-49 is possibly the best candidate for intermediate mass black hole (IMBH), which underwent recurrent outbursts with a period of $\sim 400$ days. The physical reason for this quasi-periodic variability is still unclear. We explore the possibility of radiation-pressure instability in accretion disk by modeling the light curve of HLX-1, and find that it can roughly reproduce the duration, period and amplitude of the recurrent outbursts HLX-1 with an IMBH of ~10^5Msun. Our result provides a possible mechanism to explain the recurrent outbursts in HLX-1. We further find a universal correlation between the outburst duration and the bolometric luminosity for the BH sources with a very broad mass range (e.g., X-ray binaries, XRBs, HLX-1 and active galactic nuclei, AGNs), which is roughly consistent with the prediction of radiation-pressure instability of the accretion disk. These results imply that "heartbeat" oscillations triggered by radiation-pressure instability may appears in different-scale BH systems.Comment: ApJ in press; 15 pages, 5 Figure

Towards Understanding Chain-of-Thought Prompting: An Empirical Study of What Matters

Chain-of-Thought (CoT) prompting can dramatically improve the multi-step reasoning abilities of large language models (LLMs). CoT explicitly encourages the LLM to generate intermediate rationales for solving a problem, by providing a series of reasoning steps in the demonstrations. Despite its success, there is still little understanding of what makes CoT prompting effective and which aspects of the demonstrated reasoning steps contribute to its performance. In this paper, we show that CoT reasoning is possible even with invalid demonstrations - prompting with invalid reasoning steps can achieve over 80-90% of the performance obtained using CoT under various metrics, while still generating coherent lines of reasoning during inference. Further experiments show that other aspects of the rationales, such as being relevant to the query and correctly ordering the reasoning steps, are much more important for effective CoT reasoning. Overall, these findings both deepen our understanding of CoT prompting, and open up new questions regarding LLMs' capability to learn to reason in context.Comment: ACL-23 Camera Ready. Code and model input/output are available at https://github.com/sunlab-osu/Understanding-Co

Meta-analysis of quantitative diffusion-weighted MR imaging in the differential diagnosis of breast lesions

BACKGROUND: To determine, in a meta-analysis, the diagnostic performance of quantitative diffusion-weighted (DW) MR imaging in patients with breast lesions. METHODS: English and Chinese studies published prior to June 2009 to assess the diagnostic performance of quantitative DWI in patients with breast lesions were reviewed and summarized with reference to the inclusion and exclusion criteria. Methodological quality was assessed by using the quality assessment of diagnostic studies (QUADAS) instrument. Publication bias analysis was performed by using Comprehensive Meta-analysis version 2. Meta-Disc version 1.4 was used to describe primary results and explore homogeneity by Chi-square test and inconsistency index; to explore threshold effect by receiver operator characteristic (ROC) space and Spearman correlation coefficient; and to pool weighted sensitivity and specificity by fixed or random effect model. A summary ROC (sROC) curve was constructed to calculate the area under the curve (AUC). RESULTS: Of 65 eligible studies, 13 with 615 malignant and 349 benign lesions were included in the original meta-analysis, among which heterogeneity arising from factors other than threshold effect and publication bias was explored. Methodological quality was moderate. The pooled weighted sensitivity and specificity with corresponding 95% confidence interval (CI) in one homogenous subgroup of studies using maximum b = 1000 s/mm(2 )were 0.84 (0.80, 0.87) and 0.84 (0.79, 0.88) respectively. AUC of sROC was 0.9085. Sensitivity analysis demonstrated that the pooled estimates were stable and reliable. CONCLUSIONS: Quantitative DWI has a higher specificity to differentiate between benign and malignant breast lesions compared to that of contrast-enhanced MRI. However, large scale randomized control trials (RCTs) are necessary to assess its clinical value because of disunified diffusion gradient factor b and diagnosis threshold